update from texinfo
authorKarl Berry <karl@gnu.org>
Sun, 17 Jun 2007 15:23:15 +0000 (15:23 +0000)
committerKarl Berry <karl@gnu.org>
Sun, 17 Jun 2007 15:23:15 +0000 (15:23 +0000)
commitdf4d83854634de97050ad73559104cb7fce2fd35
tree127e95b0e363dc06fcd873931984f897d9411b28
parent4b09ddf87c342e352dd3bdba258d80f5719630f8
update from texinfo
man/texinfo.tex